Binary decision diagram